An algebraic weak factorisation system on 01-substitution sets: a constructive proof
نویسندگان
چکیده
منابع مشابه
An algebraic weak factorisation system on 01-substitution sets: a constructive proof
We will construct an algebraic weak factorisation system on the category of 01-substitution sets such that the R-algebras are precisely the Kan fibrations together with a choice of Kan filling operation. The proof is based on Garner’s small object argument for algebraic weak factorisation systems. In order to ensure the proof is valid constructively, rather than applying the general small objec...
متن کاملAlgebraic Weak Factorisation Systems I: Accessible Awfs
Algebraic weak factorisation systems (awfs) refine weak factorisation systems by requiring that the assignations sending a map to its first and second factors should underlie an interacting comonad–monad pair on the arrow category. We provide a comprehensive treatment of the basic theory of awfs—drawing on work of previous authors—and complete the theory with two main new results. The first pro...
متن کاملAlgebraic Weak Factorisation Systems Ii: Categories of Weak Maps
We investigate the categories of weak maps associated to an algebraic weak factorisation system (awfs) in the sense of Grandis–Tholen [14]. For any awfs on a category with an initial object, cofibrant replacement forms a comonad, and the category of (left) weak maps associated to the awfs is by definition the Kleisli category of this comonad. We exhibit categories of weak maps as a kind of “hom...
متن کاملThe identity type weak factorisation system
We show that the classifying category C(T) of a dependent type theory T with axioms for identity types admits a non-trivial weak factorisation system. After characterising this weak factorisation system explicitly, we relate it to the homotopy theory of groupoids.
متن کاملA constructive proof of the Density of Algebraic Pfaff Equations without Algebraic Solutions
— We present a constructive proof of the fact that the set of algebraic Pfaff equations without algebraic solutions over the complex projective plane is dense in the set of all algebraic Pfaff equations of a given degree. Résumé. — Nous présentons une preuve constructive du fait que l’ensemble des équations de Pfaff sans solutions algébriques sur le plan projectif complexe est dense dans l’ense...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Analysis
سال: 2016
ISSN: 1759-9008
DOI: 10.4115/jla.2016.8.1